Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
61	Microsoft Word - Lintadd.doc Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-12-03 20:24:29 Constructible universe Fourier analysis Combinatorics Integer sequences Genus of a multiplicative sequence Dirac delta function Mathematics Mathematical analysis Symbol
62	Characterising Normal Forms for Informational Independence L.C. van der Gaag & J.-J.Ch. Meyer Utrecht University, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherlands e-mail: flinda, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:09 Mathematical analysis Independence Conditional independence Function Constructible universe Joint probability distribution Zermelo–Fraenkel set theory Morse–Kelley set theory Probability theory Statistical dependence Mathematics
63	Revising by an Inconsistent Set of Formulas James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:31:54 Philosophical logic Philosophy of language Model theory Belief revision Entailment Interpretation Constructible universe Function Logical connective Logic Logical syntax Propositional calculus
64	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Function Normal distribution Mathematics Constructible universe FO
65	Department of Computer Science The Shapley Axiomatization for Values in Partition Function Games Oskar Skibski, University of Warsaw, Poland Tomasz P. Michalak, University of Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:15 Fair division Shapley value Problem solving Mathematical economics Combinatorics Probability theory Permutation Function Constructible universe Game theory Mathematics Cooperative games
66	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Cardinal numbers Set theory Ordinal arithmetic Transfinite induction Constructible universe Forcing Aleph number Successor cardinal Normal function Mathematical logic Mathematics Ordinal numbers
67	Department of Computer Science Marginality Approach To Shapley Value In Games With Externalities Oskar Skibski, Tomasz P. Michalak, and Michael Wooldridge Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:35 Cooperative games Fair division Shapley value Function Determinacy Constructible universe Vector space Algebra Mathematics Game theory
68	The Peirce Translation and the Double Negation Shift Mart´ın Escard´o1 and Paulo Oliva2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-30 08:27:21 Logic Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Function Mathematics Mathematical logic Proof theory
69	BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTIN Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-16 10:22:26 Primitive recursive function Mathematical logic Philosophy of mathematics Fourier analysis Jensen hierarchy Mathematics Computability theory Constructible universe
70	Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-07-02 11:28:23 General topology Topos Baire space Continuous function Space Ordinal number Cantor space Grothendieck topology Constructible universe Topology Mathematics Sheaf theory

UPDATE